branching-time temporal logic
分支时间时序逻辑
热门查询
- oriole n. 金莺（白头翁科的小鸟） n. (Oriole)人名；(英)奥里奥尔
- uncontentious 没有（或不容易）引起争议的
- gastroscopy n. 胃镜检查法 [医] 胃镜检查
- rape n. 强奸，掠夺；[园艺] 油菜；葡萄渣 vt. 强奸；掠夺，抢夺 vi. 犯强奸罪
- colourful adj. 鲜艳的；生动的；色彩丰富的；富有趣味的
- unifier n. 统一者
- rangefinder n. [测] 测距仪
- Kraut n. 酸泡菜；德国人
- cast n. 投掷，抛；铸件，[古生] 铸型；演员阵容；脱落物 vt. 投，抛；计算；浇铸；投射（光、影、视线等） vi. 投，抛垂钓鱼钩；计算，把几个数字加起来 n. (Cast)人名；(法)卡斯特
- deduct vt. 扣除，减去；演绎
- libellous adj. 诽谤的；损害名誉的（等于libelous）
- paratuberculosis n. 副结核，类结核
- Mearns n. 默恩斯（姓氏）
- Isay [人名] 伊赛
- Elysees n. (Elysees)人名；(法)埃利塞
- patentee n. 专利权所有人
- stonework n. 石雕工艺；石制品；石料加工厂
- disquisition n. 探讨，研究；专题论文
- repatriation n. 遣送回国；调回本国
- lumpur n. 吉隆坡
考试词汇表
- Right Whale Dolphins
- Right fallopian tube
- Right faucial tonsil
- Right femoral region
- Right lacrimal gland
- Right lateral fornix
- Right lobe of thymus
- Right occipital lobe
- Right pleural cavity
- Right spermatic cord
- Right sphenoid sinus
- Right up your street
- Rigidity,Decerebrate
- Rigidity,Decorticate
- Rigidoporus lignosus
- Rikenella microfusus
- Rilchingen-Hanweiler
- Riley Smith syndrome
- Riley-Smith syndrome
- Rimini's test letter
